Verplex Expands Open Verification Library to Include Support for VHDL-Based Design
Library Offers Seamless Interoperability Between Simulation, Formal Verification
MILPITAS, Calif., March 18, 2002 -- Verplex™ Systems, Inc., the electronic design automation (EDA) company known for its formal verification software, today announced it has expanded its Open Verification Library (OVL) to include support for the VHSIC Hardware Description Language (VHDL).
The open-source library, originally designed for Verilog HDL-based designers, provides seamless interoperability between simulation and formal verification, eliminating the learning curve and accelerating the acceptance of formal design validation software. The library was designed using VHDL and works with any VHDL-based or mixed-language simulator.
Verplex donated its Verilog HDL-based Open Verification Language (OVL) library in 2001 to Accellera, an electronics industry standards organization, to promote its use and encourage the library's acceptance as an industry standard. Plans for donating the VHDL version of OVL to Accellera for standardization will be announced shortly.
Verplex's BlackTie™ functional checker, a high capacity formal verification tool that accelerates the verification of system-on-a-chip (SOC) designs, currently offers full support for the Verilog HDL version of OVL. BlackTie support for the VHDL version of OVL will be announced later in the year.
"Developing a VHDL version of OVL is an important step for the industry," affirms C. Michael Chang, president and chief executive officer of Verplex. "Due to the overwhelming success of OVL within the Verilog community, we have received many requests to produce a VHDL-based version. The VHDL market is still substantial and should have equal access to the same verification methodology advancements now enjoyed by the Verilog community."
Designers use OVL to capture design intent to be checked using standard, off-the-shelf verification tools, including both simulation and formal verification. Often referred to as assertions or monitors, OVL checks are an effective means for designers to find bugs deeply embedded in the design, where chip- or system-level test vectors may have little control or may not be sufficiently long enough to propagate errors to an observable output.
The verification library can be downloaded at no charge from the Web Site located at: http://www.verificationlib.org. The site features a download area, submission area, full documentation and a discussion group. Visitors to the site are encouraged to contribute their own customized monitors and enhance existing ones.
More information can be found at www.verplex.com, or contact Vasu Ganti, product marketing manager at Verplex. He can be reached at (408) 635-0405 or via email at vasu@verplex.com.
About Verplex
Verplex Systems Inc. is an electronic design automation (EDA) company focused on delivering the highest-speed, highest-capacity and easiest-to-use formal verification products for complex system-on-chip (SOC) design. Founded in 1997, it is privately held and funded by leading venture capital firms. Corporate headquarters is located at 300 Montague Expressway, Suite 100, Milpitas, Calif. 95035. Telephone: (408) 586-0300. Facsimile: (408) 586-0230. Email: info@verplex.com. Online information is found at its web site:
http://www.verplex.com.
For more information, contact:
Nanette Collins
Public Relations for Verplex Systems
(617) 437-1822
nanette@nvc.com
Verplex, Conformal and BlackTie are trademarks of Verplex Systems Inc. All other companies and products referenced herein are trademarks or registered trademarks of their respective holders.
|
